alp reasoning classes